logical implication

英 [ˈlɒdʒɪkl ˌɪmplɪˈkeɪʃn]

美 [ˈlɑːdʒɪkl ˌɪmplɪˈkeɪʃn]

网络  逻辑意涵; 逻辑隐含式; 逻辑蕴涵式; 逻辑蕴含; 逻辑蕴涵

英英释义

noun

• a logical relation between propositions p and q of the form `if p then q'
  Synonym:implicationconditional relation

双语例句

• The Dual Principal-Agent Theory: Logical Starting Point, Theoretical Model and Governance Implication
  双重委托代理结构：逻辑起点、理论模型与治理要义
• This paper points out that: In natural language fluent, the reasoning type of "ruguo" and "rugu-oshuo" is different: the former emphasizes on the logical reasoning which indicates material implication, and the latter emphasizes on the metaphor reasoning.
  文章提出以下一些观点：自然语流中，如果句式与如果说句式在推理类型上有所侧重，前者重在表示逻辑推理，后者重在表示隐喻推理；
• Research on logical implication for XML based on DTD path coding
  基于DTD路径编码的XML逻辑蕴涵问题研究
• Due to complicacy of DTD, it is difficult to study the logical implication of XFD.
  由于DTD的复杂性，使得XFD的逻辑蕴涵问题研究比较困难。
• Logical implication of set of FDs for XML
  XML函数依赖集的逻辑蕴含
• The Logical Implication on Social Construction of the Paris Commune and Its Contemporary Value
  巴黎公社社会建设的逻辑蕴涵与当代价值
• Logical context is helpful in context reasoning, rhetorical context is helpful in understanding implication;
  逻辑语境帮助完成语境推理，修辞语境帮助理解言外之意；有对言外之意需逻辑语境与修辞语境共同参与。
• With the development of logical science, the implication paradox will eventually be eliminated.
  随着逻辑科学的发展，蕴涵怪论最终将被消除。
• Material and logical implication coincide in the classical logic, however they do not coincide in every logics.
  实质蕴涵与逻辑蕴涵在经典命题逻辑中是一致的，但是二者并不是在任何逻辑中都一致。
• Coding DTD can test the logical implication problem of XML function dependency in linear time.
  编码后的DTD能在线性时间内对XML函数依赖的逻辑蕴涵问题进行判定。